waitForSafeStateAndCheckSize(size, hz5, map5);
waitForSafeStateAndCheckSize(size, hz6, map6);
shutdownAndWait(hz3);
shutdownAndWait(hz4);
waitForSafeStateAndCheckSize(size, hz5, map5);
checkSizeEventually(size, map5);
checkSizeEventually(size, map6);
hz3.shutdown();
hz4.shutdown();
checkSizeEventually(size, map5);